representing functor

См. также в других словарях:

• Brown's representability theorem — In mathematics, Brown s representability theorem in homotopy theory gives necessary and sufficient conditions on a contravariant functor F on the homotopy category Hot of pointed CW complexes, to the category of sets Set, to be a representable… …   Wikipedia

• Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… …   Wikipedia

• Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… …   Wikipedia

• Groupoid — dablink|This article is about groupoids in category theory. For the algebraic structure with a single binary operation see magma (algebra). In mathematics, especially in category theory and homotopy theory, a groupoid is a simultaneous… …   Wikipedia

• Concrete category — In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets. This functor makes it possible to think of the objects of the category as sets with additional structure, and of its morphisms as… …   Wikipedia

• Moduli space — In algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as… …   Wikipedia

• Direct limit — In mathematics, a direct limit (also called inductive limit) is a colimit of a directed family of objects . We will first give the definition for algebraic structures like groups and modules, and then the general definition which can be used in… …   Wikipedia

• Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most …   Wikipedia

• Grothendieck group — In mathematics, the Grothendieck group construction in abstract algebra constructs an abelian group from a commutative monoid in the best possible way. It takes its name from the more general construction in category theory, introduced by… …   Wikipedia

• Segal conjecture — Segal s Burnside ring conjecture, or, more briefly, the Segal conjecture, is a theorem in homotopy theory, a branch of mathematics. The theorem relates the Burnside ring of a finite group G to the stable cohomotopy of the classifying space BG .… …   Wikipedia

• Differential calculus over commutative algebras — In mathematics the differential calculus over commutative algebras is a part of commutative algebra based on the observation that most concepts known from classical differential calculus can be formulated in purely algebraic terms. Instances of… …   Wikipedia